Definition 2.1.2.
Let be a unital C-star-Algebra. Recall that an element is unitary if . Denote the group of unitary elements in by . From above we know that is an equivalence relation on . Now define the set of all such that to be .